1541. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
1542. Process Algebra for Parallel and Distributed Processing
پدیدآورنده:
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
1543. Process Machine Interaction
پدیدآورنده: / edited by Berend Denkena, Ferdinand Hollmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science,Engineering mathematics,Vibration,Machinery,Electronic books
رده :
E-BOOK
1544. Process algebra with timing
پدیدآورنده: by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
1545. Process algebra with timing
پدیدآورنده: / J.C.M. Baeten, C.A. Middelburg
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
1546. Programming for computations -- Python :
پدیدآورنده: Svein Linge, Hans Petter Langtangen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
رده :
QA76
.
9
.
M35
1547. Progress in Industrial Mathematics at ECMI 2000
پدیدآورنده: edited by Angelo Marcello Anile, Vincenzo Capasso, Antonio Greco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Engineering.,Finance.,Mathematical physics.,Mathematics.
1548. Progress in applications of boolean functions /
پدیدآورنده: Tsutomu Sasao, Jon T. Butler [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
رده :
QA10
.
3
1549. Proofs from THE BOOK
پدیدآورنده: by Martin Aigner, Günter M. Ziegler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
1550. Proofs from THE BOOK /
پدیدآورنده: by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.
رده :
QA39
.
3
.
A36
2018eb
1551. Proofs from THE BOOK
پدیدآورنده: by Martin Aigner, Günter M. Ziegler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
1552. Proofs from the Book
پدیدآورنده: \ By Martin Aigner, Gunter M. Ziegler; Including Illustrations by Karl H. Hofmann
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Computer science -- Mathematics,Mathematical analysis,ریاضیات,علوم کامپیوتر -- ریاضیات ,آن‍ال‍ی‍ز ری‍اض‍ی
رده :
E-Book
,
1553. Python :--Programming for computations
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;
1554. Python for Probability, Statistics, and Machine Learning
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Telecommunication. ; Computer science. ; Engineering mathematics. ; Statistics. ; Data mining. ; Communications Engineering, Networks. ;
1555. Python for Probability, Statistics, and Machine Learning /
پدیدآورنده: by José Unpingco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
رده :
QA76
.
73
.
P98
U57
2019
1556. Quality of Communication-Based Systems :
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
1557. Quantum approach to informatics
پدیدآورنده: / Stig Stenholm, Kalle-Antti Suominen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Quantum theory , Mathematics,Computer science , Mathematics,Quantum computers
رده :
E-BOOK
1558. Quantum approach to informatics
پدیدآورنده: Stig Stenholm, Kalle-Antti Suominen
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع: Quantum theory, Mathematics,Computer science, Mathematics,Quantum computers
رده :
530
,.
12
,
S74
,
2005
1559. Quantum approach to informatics
پدیدآورنده: / Stig Stenholm, Kalle-Antti Suominen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Quantum theory- Mathematics,Computer science- Mathematics,Quantum computers
رده :
QC174
.
17
.
M35
,
S74
2005
1560. Quantum approach to informatics
پدیدآورنده: Stenholm, Stig.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Quantum theory,Mathematics ، Computer science,، Quantum computers
رده :
QC
174
.
17
.
M35
S74
2005
